locally convex direct sum - Espagnol Anglais Dictionnaire